#include <stdio.h>
#include <unistd.h>
#include <string.h>

int main(void)
{
	char buf[4096];
	fgets(buf,4096,stdin);
	printf("length:%d\n",(int)strlen(buf));

  return 0;
}

